（来源：上观新闻）
图丨自上而🥩🥽下的规约生成👨🏫🔒新范式（来源🃏🤗：ar🗄🍰Xiv） 在推理🏭过程的可靠📛🌥性方面，研究🛂团队并不是直接📂让 LLM 判断🌨代码是📃🧨否正确🍘，而是🌈🇬🇮将思维链🙆♂️🔉（Chain o🍦f Thou🐀🤮ght）与🇮🇩🚐霍尔逻辑的推🏊♀️🕧理规则相结合，🐙🇶🇦引导 LLM🛴🗡 逐步推导每个代🇲🇻码块执行后程🚦序状态所满足🔒🍤的性质，最终🌋检查程序🦞状态是否符合“💾😴说明书”的要💩🚣♀️求🇺🇸😺。
一番搜索后能确🏺👨👨👧👦定的只有一点：大🇸🇧🍫家根本不是在卖🇨🇮🌱同一种🦄东西💂。这使得PLP在人😓😦工智能和高性🎑™能计算（H♓PC）应用领🕜⚱域尤为🛏👩👩👧具有吸引力🍿，因为在这些应用♍📤中，性能和成本🚵扩展都至关重要🚸🇦🇫。于是，程老👨🌾🏣毅然转入当时🧻对他而言完🇻🇳🌺全陌生的民机领➕🦃域，在总体🚭🇨🇽设计组担任副组长👸🇫🇴无套内谢一二三四，负责运十的总🧶📄体设计工作🐇。
他们是🌂🇹🇫上飞厂与上🇺🇦🤢飞所的老🚧员工，很多人曾⬅参与过运十项目以🌇及后续的国🙁🧗♀️产大飞机项6️⃣🛵目🧠。这笔合同让此前▪🐥"G4🀄🛅2占87%营🦃🇵🇾收"的集中🔏度问题有🇧🇶✂了疏解的出🌾口🐀。产业层面，🐥😺新区人工智能产📦业基础扎🇧🇫实，去年产业🇵🇷🇳🇱规模位列成🛷都市各区县第二💬。因此，如何更好🇺🇸地保障大🇬🇵规模代🥨码的正确性，正成♎为一个日益重👩🔧🇨🇻要的问题🇭🇹🔆。
